home *** CD-ROM | disk | FTP | other *** search
/ ADA Programming Guide / ADA Programming Guide.iso / adatutor / spacemon / checkers.src < prev    next >
Text File  |  1996-01-30  |  264b  |  6 lines
  1. with Spacecraft_Sensor_Interface; use Spacecraft_Sensor_Interface;
  2. package Checker is
  3.     function Check_Value(arg:PRESSURE) return BOOLEAN;
  4.     function Check_Value(arg:RADIATION_LEVEL) return BOOLEAN;
  5.     function Check_Value(arg:TEMPERATURE) return BOOLEAN;
  6. end Checker;